The ABCs of Spe i ation : AsmL , Behavior
نویسنده
چکیده
منابع مشابه
USE OF LEUCOCYTE-ESTE R ASE AS A ME A NS OF TESTING SUITABILITY OF SPUTUM SPE CIMENS FOR LABORATORY EXAMIN ATION
The study has strived to compare the leucocyte-esterase stripe activity on sputum samples with gram-stained direct smear microscopy. This is for the demonstration of white blood cells (WBCs) and so to develop a simple method for selecting suitable sputum samples for cultural examination and laboratory diagnosis. . A total of 17(34.0%) out of 50 samples studied were shown to be unsuitable fo...
متن کاملThe ABCs of specification: asml, behavior, and components
ion ICounter :ct = 2 succ Counter() as Integer return 2 succ Increment() succ := succ + 1 In this particular example, it is obvious how CCounter ful lls the obligations it inherits when implementing the ICounter interface. However, in general, abstractions can be much more complicated. There is no requirement that an AsmL speci cation be implemented in AsmL. AsmL provides native COM connectivit...
متن کاملModular Formal Spe i ation of Data and Behaviour
Abstra t. We propose a modular approa h to the formal spe i ation of the requirements on embedded systems. In this approa h, requirements on data are spe i ed as invariants on states. Requirements on behaviour are spe i ed assertionally by temporal logi formulae, restri ting the runs of the system. The proposed method is modular, be ause omponents an be spe i ed and analysed in isolation, and t...
متن کاملDeclarative Reflection and its Application as a Pattern Language
The paper presents the re e tion fa ilities of the spe i ation language Slam-sl. Slam-sl is an obje t oriented spei ation language where lass methods are spe i ed by pre and post onditions. The re e tion apabilities permit managing these pre and post onditions in spe i ations what means that semanti re e tion is possible. The range of interesting appli ations is very wide: formal spe i ation of...
متن کاملThe Development Graph Manager MAYA
Serge Autexier1 and Dieter Hutter2 and Till Mossakowski3 and Axel S hairer2 1 FR 6.2 Informatik, Saarland University, P.O. Box 15 11 50, D 66041 Saarbr u ken, Autexier ags.uni-sb.de 2 DKFI GmbH, Stuhlsatzenhausweg 3, D 66123 Saarbr u ken, hutter dfki.de 3 FB 3, University of Bremen, P.O. Box 330 440, D 28334 Bremen, till tzi.de 1 Overview The use of formal methods is propagated to in rease th...
متن کامل